A Graphical Multi-stage Calculus
نویسندگان
چکیده
While visual programming languages continue to gain popularity in domains ranging from scientific computing to real-time systems, the wealth of abstraction mechanisms, reasoning principles, and type systems developed over the last thirty years is currently available mainly for textual languages. With the goal of understanding how results in the textual languages can be mapped to the graphical setting, we develop the visual calculus PreVIEW. While this calculus visualizes computations in dataflow-style similar to languages like LabVIEW and Simulink, its formal model is based on Ariola and Blom’s work on cyclic lambda calculi. We extend this model with staging constructs, establish a precise connection between textual and graphical program representations, and show how a reduction semantics for a multi-stage language can be lifted from the textual to the graphical setting.
منابع مشابه
Model Checking Value-Passing Processes
An algorithm for model checking value-passing processes is presented. Processes are modeled as symbolic transition graphs with assignments. To specify properties for such processes a graphical predicate mu-calculus is introduced. It allows arbitrary nesting of the least and greatest fixpoints, and contains the propositional mu-calculus as a proper subset. The algorithm instantiates input variab...
متن کاملChecking Correctness of Transactional Behaviors
The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (communication flows), and on handling sessions, even multi-party. The calculus is strongly motivated by the practical needs of Service-Oriented Computing, and there exists a Java implementation, called JSCL, with a graphical mod...
متن کاملA Latent Variable Model for Discovering Bird Species Commonly Misidentified by Citizen Scientists
Data quality is a common source of concern for largescale citizen science projects like eBird. In the case of eBird, a major cause of poor quality data is the misidentification of bird species by inexperienced contributors. A proactive approach for improving data quality is to discover commonly misidentified bird species and to teach inexperienced birders the differences between these species. ...
متن کاملGraphical Analysis of Multi-Environment Trials for Barley Yield Using AMMI and GGE-Biplot Under Rain-Fed Conditions
The AMMI and SREG GGE are among the models that effectively capture the additive and multiplicative components of genotype × environment interaction (GEI) and provide meaningful interpretation of multi-environment trials’ data set in the breeding programs. The objective of this study was to assess the effect of GEI on grain yield of barely advanced lines and exploit the positive GEI effect us...
متن کاملBelief Propagation for Structured Decision Making
Variational inference algorithms such as belief propagation have had tremendous impact on our ability to learn and use graphical models, and give many insights for developing or understanding exact and approximate inference. However, variational approaches have not been widely adoped for decision making in graphical models, often formulated through influence diagrams and including both centrali...
متن کامل